Prof. McClain has indeed produced "a new kind of tutorial book." It is written using the logic engine Mathematica, which ...